Functional programming

Results: 3706



#Item
151Software engineering / Computer programming / Software / Functional languages / Subroutines / Haskell / Literate programming / Stack / Call stack / Glasgow Haskell Compiler

Stack Traces in Haskell Master of Science Thesis ARASH ROUHANI Chalmers University of Technology

Add to Reading List

Source URL: arashrouhani.com

Language: English - Date: 2015-06-22 18:30:08
152Software engineering / Computer programming / Functional programming / Computing / Fasteners / Zipper / Generic programming / Monad / Generalizations of the derivative / Constructor / Const

Functional Pearl: Scrap Your Zippers Michael D. Adams Indiana University Abstract

Add to Reading List

Source URL: michaeldadams.org

Language: English - Date: 2012-07-27 19:30:16
153Software engineering / Computing / Computer programming / Logic in computer science / Programming language implementation / Functional languages / Compiler construction / Programming languages / Denotational semantics / Compiler / Lisp / Semantics

Control-Flow Analysis of Higher-Order Languages or Taming Lambda Olin Shivers May 1991

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2010-06-22 12:57:54
154Declarative programming / Software engineering / Computer programming / Functional programming / Lisp / Perl / XS / Cons / Recursion

All-Termination(SCP) Aaron Turon Northeastern University (joint work with Pete Manolios)

Add to Reading List

Source URL: www.mpi-sws.org

Language: English - Date: 2010-01-10 16:47:21
155Software engineering / Computer programming / Computing / Procedural programming languages / Functional languages / Programming language implementation / Data types / Compiler construction / Standard ML / Interpreter / Compiler-compiler / Type system

Hand-Writing Program Generator Generators Lars Birkedal & Morten Welinder DIKU, Department of Computer Science University of Copenhagen DK–2100 Copenhagen Ø, Denmark e-mail: &

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:04:53
156Software engineering / Computer programming / Programming language theory / Data types / Subroutines / Functional programming / Type theory / Procedural programming languages / Higher-order function / Option type / ALGOL 68 / Technical University of Denmark

02157 Functional Programming - Tagged values and Higher-order list functions

Add to Reading List

Source URL: www.imm.dtu.dk

Language: English - Date: 2013-01-17 16:16:49
157Software engineering / Computing / Computer programming / Subroutines / Data types / Type theory / Object-oriented programming languages / Functional languages / Partial evaluation / Scala / Recursion / Memoization

How To Have Your Cake and Eat It, Too: Self-Applicable Online Partial Evaluation Michael Sperber Wilhelm-Schickard-Institut fur Informatik Universitat Tubingen Sand 13, DTubingen, Germany

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:04:37
158Software engineering / Computer programming / Declarative programming / Functional programming / Functional languages / Refal / Metacompilation / Functions and mappings / Pattern matching / Closure / Function / Monad

Metacomputation: MST plus SCP Valentin F. Turchin The City College of New York First of all, I want to thank the organizers of this seminar for inviting me

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:04:37
159Software engineering / Functional programming / Lambda calculus / Computing / Computer programming / Control flow / Eval / Anonymous function / Apply

Evolution of Partial Evaluators: Removing Inherited Limits Torben . Mogensen DIKU, University of Copenhagen, Denmark Abstract. We show the evolution of partial evaluators over the past ten

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:04:37
UPDATE